/*
 * ExactCliqueLifter.h
 *
 *  Created on: Jan 24, 2014
 *      Author: ik
 */

#ifndef EXACTCLIQUELIFTER_H_
#define EXACTCLIQUELIFTER_H_

#include <CliqueLifter.h>
#include <SeparatorParameters.h>

using namespace std;

class ExactCliqueLifter : public CliqueLifter
{

	VertexSet&		_vertices;
	Lista&			_enumerable;
	ProjectableCliqueSet&	_RR;

	int calculaLambda(const VertexSet& soporte, const IntValueArray& coeficientes, VertexSet& proyectada, int pi);

public:
	ExactCliqueLifter(Grafo &grafo, Cliquer &cliquer);
	virtual ~ExactCliqueLifter();
};

#endif /* EXACTCLIQUELIFTER_H_ */
